/home/correa/workspace/pargo-instances/clique/dimacs/C250.9.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.03 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 1759 rows, 2009 columns, and 6036 nonzeros.
Reduced MIP has 250 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.01 sec. (2.62 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Tried aggregator 1 time.
Presolve time = 0.01 sec. (2.67 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Clique table members: 1760.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.15 sec. (132.08 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      250.0000     1523     --- 
      0     0       77.6358   249        0.0000       77.6358     1523     --- 
*     0+    0                           40.0000       77.6358     1523   94.09%
      0     0       76.3311   250       40.0000      User: 68     1813   90.83%
      0     0       74.9457   247       40.0000      Cuts: 89     2164   87.36%
      0     0       74.2523   248       40.0000      Cuts: 93     2484   85.63%
      0     0       73.3617   248       40.0000      Cuts: 87     2784   83.40%
      0     0       72.7917   251       40.0000      Cuts: 87     3038   81.98%
      0     0       72.2884   250       40.0000      Cuts: 71     3318   80.72%
*     0+    0                           41.0000       72.2884     3318   76.31%
      0     0       71.9511   249       41.0000      Cuts: 61     3508   75.49%
      0     0       71.7283   248       41.0000      Cuts: 41     3677   74.95%
      0     0       71.4893   249       41.0000      Cuts: 58     3851   74.36%
      0     0       71.2119   250       41.0000      Cuts: 54     4030   73.69%
      0     0       71.0589   250       41.0000      Cuts: 38     4172   73.31%
      0     0       70.9022   250       41.0000      Cuts: 34     4301   72.93%
      0     0       70.7899   250       41.0000      Cuts: 45     4413   72.66%
      0     0       70.7674   249       41.0000      Cuts: 24     4488   72.60%
      0     0       70.7195   250       41.0000      Cuts: 15     4569   72.49%
      0     0       70.5916   250       41.0000      Cuts: 23     4704   72.17%
      0     0       70.5088   250       41.0000      Cuts: 32     4831   71.97%
      0     0       70.3535   250       41.0000      Cuts: 27     4982   71.59%
      0     0       70.2823   250       41.0000      Cuts: 18     5092   71.42%
      0     0       70.1220   250       41.0000      Cuts: 20     5245   71.03%
      0     0       70.0438   251       41.0000      Cuts: 26     5341   70.84%
      0     0       70.0022   251       41.0000      Cuts: 16     5416   70.74%
      0     0       69.9931   250       41.0000       Cuts: 7     5455   70.71%
      0     0       69.9416   251       41.0000       Cuts: 9     5534   70.59%
      0     0       69.9150   251       41.0000       Cuts: 7     5597   70.52%
      0     0       69.8836   251       41.0000       Cuts: 8     5668   70.45%
      0     0       69.8633   251       41.0000      Cuts: 18     5724   70.40%
      0     0       69.8406   251       41.0000       Cuts: 8     5787   70.34%
      0     0       69.8150   251       41.0000      Cuts: 15     5860   70.28%
      0     0       69.7426   251       41.0000      Cuts: 16     5952   70.10%
      0     0       69.7091   251       41.0000      Cuts: 11     6014   70.02%
      0     0       69.6698   251       41.0000 UserPurge2: 9     6095   69.93%
      0     0       69.6175   250       41.0000       Cuts: 6     6169   69.80%
*     0+    0                           42.0000       69.6175     6169   65.76%
      0     0       69.5387   250       42.0000      Cuts: 14     6276   65.57%
      0     0       69.4917   250       42.0000 UserPurge2: 11     6349   65.46%
      0     0       69.4609   251       42.0000      Cuts: 13     6423   65.38%
      0     0       69.4332   251       42.0000      Cuts: 12     6489   65.32%
      0     0       69.3522   251       42.0000      Cuts: 20     6605   65.12%
      0     0       69.3438   251       42.0000      Cuts: 10     6638   65.10%
      0     0       69.3240   251       42.0000      Cuts: 10     6694   65.06%
      0     0       69.3187   251       42.0000 UserPurge2: 5     6721   65.04%
      0     0       69.2974   251       42.0000 UserPurge2: 3     6779   64.99%
      0     0       69.2717   251       42.0000 UserPurge2: 8     6837   64.93%
      0     0       69.2496   251       42.0000      Cuts: 17     6897   64.88%
      0     0       69.2314   251       42.0000       Cuts: 6     6949   64.84%
      0     0       69.2024   251       42.0000 UserPurge2: 6     6992   64.77%
      0     0       69.1959   251       42.0000       Cuts: 9     7019   64.75%
      0     0       69.1853   251       42.0000       Cuts: 5     7056   64.73%
      0     0       69.1791   251       42.0000 UserPurge2: 5     7087   64.71%
      0     0       69.1760   250       42.0000 UserPurge2: 3     7114   64.70%
      0     0       69.1688   251       42.0000 UserPurge2: 2     7148   64.69%
      0     0       69.1516   250       42.0000 UserPurge2: 5     7212   64.65%
      0     0       69.1230   250       42.0000      Cuts: 11     7269   64.58%
      0     0       69.0813   249       42.0000      Cuts: 11     7348   64.48%
      0     0       69.0683   248       42.0000       Cuts: 8     7397   64.45%
      0     0       69.0601   250       42.0000       Cuts: 7     7437   64.43%
      0     0       69.0521   250       42.0000 UserPurge2: 5     7478   64.41%
      0     0       69.0414   250       42.0000       Cuts: 6     7528   64.38%
      0     0       69.0207   250       42.0000       Cuts: 5     7580   64.33%
      0     0       69.0185   251       42.0000       User: 2     7616   64.33%
      0     0       69.0080   250       42.0000 UserPurge2: 4     7658   64.30%
      0     0       68.9745   250       42.0000 UserPurge2: 3     7725   64.23%
      0     0       68.9631   249       42.0000 UserPurge2: 5     7769   64.20%
      0     0       68.9578   250       42.0000       Cuts: 9     7803   64.19%
      0     0       68.9400   249       42.0000 UserPurge2: 5     7855   64.14%
      0     0       68.9384   250       42.0000       Cuts: 7     7871   64.14%
      0     0       68.9360   251       42.0000 UserPurge2: 3     7901   64.13%
      0     0       68.9084   250       42.0000 UserPurge2: 8     7973   64.07%
      0     0       68.8960   249       42.0000      Cuts: 12     8013   64.04%
      0     0       68.8882   248       42.0000 UserPurge2: 7     8043   64.02%
      0     0       68.8864   250       42.0000 UserPurge2: 3     8065   64.02%
      0     0       68.8820   249       42.0000 UserPurge2: 3     8086   64.00%
      0     0       68.8557   248       42.0000       Cuts: 9     8142   63.94%
      0     0       68.8485   249       42.0000 UserPurge2: 4     8183   63.93%
      0     0       68.8213   250       42.0000       Cuts: 8     8247   63.86%
      0     0       68.8139   248       42.0000      Cuts: 11     8292   63.84%
      0     0       68.7923   249       42.0000       Cuts: 9     8354   63.79%
      0     0       68.7704   249       42.0000      Cuts: 10     8406   63.74%
      0     0       68.7599   248       42.0000       Cuts: 9     8465   63.71%
      0     0       68.7381   249       42.0000       Cuts: 9     8531   63.66%
      0     0       68.7184   249       42.0000      Cuts: 10     8594   63.62%
      0     0       68.7146   249       42.0000 UserPurge2: 1     8630   63.61%
      0     0       68.7108   249       42.0000       Cuts: 8     8661   63.60%
      0     0       68.7084   249       42.0000 UserPurge2: 1     8691   63.59%
      0     0       68.7072   249       42.0000       Cuts: 5     8705   63.59%
      0     0       68.7051   249       42.0000       Cuts: 3     8727   63.58%
      0     0       68.7033   249       42.0000 UserPurge2: 2     8755   63.58%
      0     0       68.6902   249       42.0000      Cuts: 11     8818   63.55%
      0     0       68.6710   248       42.0000      Cuts: 11     8890   63.50%
      0     0       68.6411   249       42.0000 UserPurge2: 8     8958   63.43%
      0     0       68.6340   248       42.0000      Cuts: 11     8990   63.41%
      0     0       68.6247   249       42.0000 UserPurge2: 5     9034   63.39%
      0     0       68.6202   250       42.0000       Cuts: 6     9066   63.38%
      0     0       68.6199   250       42.0000 UserPurge2: 4     9078   63.38%
      0     0       68.6177   250       42.0000       Cuts: 3     9104   63.38%
      0     0       68.6146   249       42.0000 UserPurge2: 4     9131   63.37%
      0     0       68.5966   250       42.0000 UserPurge2: 4     9187   63.33%
      0     0       68.5936   250       42.0000       Cuts: 5     9212   63.32%
      0     0       68.5819   249       42.0000       Cuts: 7     9246   63.29%
      0     0       68.5634   250       42.0000       Cuts: 5     9301   63.25%
      0     0       68.5628   250       42.0000 UserPurge2: 1     9312   63.24%
      0     0       68.5567   250       42.0000 UserPurge2: 5     9354   63.23%
      0     0       68.5498   250       42.0000       Cuts: 4     9389   63.21%
      0     0       68.5490   250       42.0000       Cuts: 3     9410   63.21%
      0     0       68.5483   250       42.0000 UserPurge2: 3     9432   63.21%
      0     0       68.5440   250       42.0000       Cuts: 6     9469   63.20%
      0     0       68.4998   250       42.0000      Cuts: 12     9551   63.09%
      0     0       68.4741   250       42.0000      Cuts: 17     9616   63.03%
      0     0       68.4724   250       42.0000       Cuts: 3     9636   63.03%
      0     0       68.4694   250       42.0000 UserPurge2: 7     9661   63.02%
      0     0       68.4629   250       42.0000 UserPurge2: 4     9697   63.01%
      0     0       68.4488   250       42.0000       Cuts: 5     9738   62.97%
      0     0       68.4486   249       42.0000 UserPurge2: 1     9743   62.97%
      0     0       68.4416   250       42.0000       Cuts: 8     9777   62.96%
      0     0       68.4235   250       42.0000 UserPurge2: 8     9822   62.91%
      0     0       68.4186   250       42.0000 UserPurge2: 4     9859   62.90%
      0     0       68.4152   250       42.0000      Cuts: 10     9889   62.89%
      0     0       68.4088   250       42.0000 UserPurge2: 3     9924   62.88%
      0     0       68.4085   250       42.0000       Cuts: 4     9938   62.88%
      0     2       68.4085   250       42.0000  Local Cut: 1     9938   62.88%                        0             0
Elapsed time = 75.75 sec. (103525.79 ticks, tree = 0.00 MB, solutions = 4)
      1     3       68.1928   250       42.0000       68.4085    11273   62.88%             x98 N      1      0      1
      2     4       68.0395   248       42.0000       68.4085    11972   62.88%             x20 N      2      1      2
      3     5       67.8874   246       42.0000       68.4085    12437   62.88%            x168 N      3      2      3
      4     6       67.7371   245       42.0000       68.4085    12751   62.88%            x142 N      4      3      4
      5     7       67.5886   244       42.0000       68.4085    13379   62.88%             x54 N      5      4      5
      6     8       67.4294   243       42.0000       68.4085    14153   62.88%            x213 N      6      5      6
      7     9       67.2495   242       42.0000       68.4085    15127   62.88%             x33 N      7      6      7
      8    10       67.1220   241       42.0000       68.4085    15902   62.88%            x141 N      8      7      8
      9    11       67.0001   242       42.0000       68.4085    16568   62.88%             x75 N      9      8      9
     10    12       66.8080   241       42.0000       68.4085    17617   62.88%             x24 N     10      9     10
Elapsed time = 107.23 sec. (146899.19 ticks, tree = 0.09 MB, solutions = 4)
     11    13       66.5231   239       42.0000       68.4085    18774   62.88%             x48 N     11     10     11
     12    14       66.3966   239       42.0000       68.4085    19512   62.88%            x235 N     12     11     12
     13    15       66.2531   238       42.0000       68.4085    19988   62.88%             x94 N     13     12     13
     14    16       66.0324   236       42.0000       68.4085    20550   62.88%            x202 N     14     13     14
     15    17       65.8603   236       42.0000       68.4085    21029   62.88%             x92 N     15     14     15
     16    18       65.6192   234       42.0000       68.4085    21475   62.88%            x109 N     16     15     16
     17    19       65.4672   233       42.0000       68.4085    21921   62.88%            x121 N     17     16     17
     18    20       65.1768   232       42.0000       68.4085    22613   62.88%            x104 N     18     17     18
     19    21       65.0674   231       42.0000       68.4085    23047   62.88%            x107 N     19     18     19
     20    22       64.8175   230       42.0000       68.4085    23564   62.88%             x66 N     20     19     20
Elapsed time = 122.92 sec. (168420.17 ticks, tree = 0.14 MB, solutions = 4)
     21    23       64.7320   230       42.0000       68.4085    24070   62.88%            x232 N     21     20     21
     22    24       64.5220   229       42.0000       68.4085    24743   62.88%            x129 N     22     21     22
     23    25       64.3818   228       42.0000       68.4085    25267   62.88%             x58 N     23     22     23
     24    26       64.1500   227       42.0000       68.4085    25865   62.88%             x81 N     24     23     24
     26    28       63.6993   225       42.0000       68.4085    26683   62.88%            x126 N     26     25     26
     27    29       63.4777   224       42.0000       68.4085    27215   62.88%            x150 N     27     26     27
     28    30       63.1331   223       42.0000       68.4085    27876   62.88%            x152 N     28     27     28
     29    31       62.9820   222       42.0000       68.4085    28231   62.88%            x167 N     29     28     29
     30    32       62.8053   221       42.0000       68.4085    28829   62.88%            x180 N     30     29     30
     31    33       62.5813   220       42.0000       68.4085    29380   62.88%            x147 N     31     30     31
Elapsed time = 137.41 sec. (188371.32 ticks, tree = 0.28 MB, solutions = 4)
     32    34       62.3436   219       42.0000       68.4085    29771   62.88%            x231 N     32     31     32
     33    35       62.2799   218       42.0000       68.4085    29962   62.88%            x223 N     33     32     33
     34    36       62.1787   217       42.0000       68.4085    30282   62.88%            x233 N     34     33     34
     35    37       62.0443   216       42.0000       68.4085    30637   62.88%             x37 N     35     34     35
     36    38       61.9028   214       42.0000       68.4085    31030   62.88%             x91 N     36     35     36
     37    39       61.7428   214       42.0000       68.4085    31290   62.88%            x193 N     37     36     37
     38    40       61.5380   213       42.0000       68.4085    31610   62.88%             x32 N     38     37     38
     39    41       61.2838   212       42.0000       68.4085    32113   62.88%             x51 N     39     38     39
     40    42       61.1408   211       42.0000       68.4085    32416   62.88%              x8 N     40     39     40
     41    43       61.0267   210       42.0000       68.4085    32631   62.88%            x166 N     41     40     41
Elapsed time = 148.95 sec. (204154.15 ticks, tree = 0.35 MB, solutions = 4)
     42    44       60.8127   209       42.0000       68.4085    33018   62.88%            x199 N     42     41     42
     43    45       60.6217   208       42.0000       68.4085    33322   62.88%             x96 N     43     42     43
     44    46       60.4778   207       42.0000       68.4085    33506   62.88%             x72 N     44     43     44
     45    47       60.2707   206       42.0000       68.4085    33847   62.88%            x139 N     45     44     45
     46    48       60.0279   205       42.0000       68.4085    34379   62.88%            x218 N     46     45     46
     47    49       59.8775   202       42.0000       68.4085    34682   62.88%            x209 N     47     46     47
     48    50       59.6742   201       42.0000       68.4085    35105   62.88%             x38 N     48     47     48
     49    51       59.5455   200       42.0000       68.4085    35469   62.88%            x123 N     49     48     49
     51    53       59.2874   198       42.0000       68.4085    35960   62.88%             x44 N     51     50     51
     52    54       59.0915   197       42.0000       68.4085    36350   62.88%            x130 N     52     51     52
Elapsed time = 160.62 sec. (220314.92 ticks, tree = 0.50 MB, solutions = 4)
     53    55       58.9373   197       42.0000       68.4085    36669   62.88%            x161 N     53     52     53
     54    56       58.7429   196       42.0000       68.4085    37048   62.88%             x36 N     54     53     54
     55    57       58.6230   195       42.0000       68.4085    37266   62.88%            x143 N     55     54     55
     56    58       58.3638   194       42.0000       68.4085    37675   62.88%            x137 N     56     55     56
     57    59       58.1856   193       42.0000       68.4085    38075   62.88%             x84 N     57     56     57
     58    60       57.9415   192       42.0000       68.4085    38343   62.88%            x195 N     58     57     58
     59    61       57.7782   191       42.0000       68.4085    38636   62.88%             x41 N     59     58     59
     60    62       57.6347   191       42.0000       68.4085    38887   62.88%             x90 N     60     59     60
     61    63       57.3494   189       42.0000       68.4085    39339   62.88%            x191 N     61     60     61
     62    64       57.0839   188       42.0000       68.4085    39690   62.88%            x127 N     62     61     62
Elapsed time = 171.48 sec. (235580.70 ticks, tree = 0.62 MB, solutions = 4)
     63    65       56.7771   187       42.0000       68.4085    40005   62.88%            x175 N     63     62     63
     64    66       56.5054   186       42.0000       68.4085    40410   62.88%             x62 N     64     63     64
     65    67       56.2914   185       42.0000       68.4085    40673   62.88%            x133 N     65     64     65
     66    68       56.0502   184       42.0000       68.4085    40999   62.88%             x42 N     66     65     66
     67    69       55.8575   182       42.0000       68.4085    41203   62.88%            x134 N     67     66     67
     68    70       55.7852   182       42.0000       68.4085    41383   62.88%            x128 N     68     67     68
     69    71       55.5812   181       42.0000       68.4085    41631   62.88%             x89 N     69     68     69
     70    72       55.3694   180       42.0000       68.4085    41944   62.88%             x56 N     70     69     70
     71    73       55.1139   179       42.0000       68.4085    42330   62.88%            x100 N     71     70     71
     72    74       54.8700   177       42.0000       68.4085    42601   62.88%            x135 N     72     71     72
Elapsed time = 181.61 sec. (250098.18 ticks, tree = 0.69 MB, solutions = 4)
     73    75       54.6412   178       42.0000       68.4085    42903   62.88%             x43 N     73     72     73
     74    76       54.3498   176       42.0000       68.4085    43225   62.88%             x79 N     74     73     74
     75    77       54.0865   174       42.0000       68.4085    43477   62.88%            x186 N     75     74     75
     76    78       53.8490   174       42.0000       68.4085    43832   62.88%            x159 N     76     75     76
     77    79       53.6789   173       42.0000       68.4085    44077   62.88%             x68 N     77     76     77
     78    80       53.4204   173       42.0000       68.4085    44321   62.88%             x83 N     78     77     78
     79    81       53.2855   171       42.0000       68.4085    44562   62.88%            x120 N     79     78     79
     80    82       53.1068   169       42.0000       68.4085    44789   62.88%             x61 N     80     79     80
     81    83       52.9625   170       42.0000       68.4085    45040   62.88%             x69 N     81     80     81
     82    84       52.6807   169       42.0000       68.4085    45422   62.88%            x210 N     82     81     82
Elapsed time = 191.84 sec. (265337.26 ticks, tree = 0.76 MB, solutions = 4)
     83    85       52.3822   168       42.0000       68.4085    45737   62.88%            x177 N     83     82     83
     84    86       52.1608   165       42.0000       68.4085    46000   62.88%             x74 N     84     83     84
     85    87       51.9986   166       42.0000       68.4085    46273   62.88%            x145 N     85     84     85
     86    88       51.6786   163       42.0000       68.4085    46679   62.88%            x160 N     86     85     86
     87    89       51.4399   163       42.0000       68.4085    46865   62.88%             x78 N     87     86     87
     88    90       51.2490   162       42.0000       68.4085    47170   62.88%             x80 N     88     87     88
     89    91       51.1124   162       42.0000       68.4085    47441   62.88%            x211 N     89     88     89
     90    92       50.7464   161       42.0000       68.4085    47821   62.88%            x247 N     90     89     90
     91    93       50.5375   159       42.0000       68.4085    48081   62.88%             x35 N     91     90     91
     92    94       50.3031   158       42.0000       68.4085    48333   62.88%            x122 N     92     91     92
Elapsed time = 201.44 sec. (278957.76 ticks, tree = 0.84 MB, solutions = 4)
     93    95       50.0498   157       42.0000       68.4085    48603   62.88%            x156 N     93     92     93
     94    96       49.7790   156       42.0000       68.4085    48954   62.88%             x17 N     94     93     94
     95    97       49.5371   154       42.0000       68.4085    49203   62.88%            x190 N     95     94     95
     96    98       49.1906   154       42.0000       68.4085    49431   62.88%            x174 N     96     95     96
     97    99       48.9920   151       42.0000       68.4085    49692   62.88%             x31 N     97     96     97
     98   100       48.8192   151       42.0000       68.4085    49904   62.88%             x99 N     98     97     98
     99   101       48.5927   150       42.0000       68.4085    50129   62.88%            x140 N     99     98     99
    100   102       48.3045   149       42.0000       68.4085    50399   62.88%             x60 N    100     99    100
    101   103       48.0253   148       42.0000       68.4085    50651   62.88%             x16 N    101    100    101
    104   106       47.0576   146       42.0000       68.4085    51470   62.88%             x22 N    104    103    104
Elapsed time = 213.21 sec. (296109.97 ticks, tree = 0.86 MB, solutions = 4)
    132   130       64.0161   221       42.0000       68.1928    57444   62.36%             x50 D    132    131      8
    158   156       59.1981   193       42.0000       68.1928    62988   62.36%            x126 D    158    157     34
    187   185       53.4401   161       42.0000       68.1928    67133   62.36%             x64 D    187    186     63
    220   218       45.8668   127       42.0000       68.1928    70504   62.36%            x222 D    220    219     96
    248   242       61.6040   205       42.0000       68.0395    76932   62.00%             x57 D    248    247     16
    280   274       54.9936   171       42.0000       68.0395    82165   62.00%             x93 D    280    279     48
    315   309       47.6333   133       42.0000       68.0395    85613   62.00%            x128 D    315    314     83
    346   336       60.8818   208       42.0000       67.8874    91876   61.64%             x87 D    346    345     13
    376   366       54.8859   178       42.0000       67.8874    97087   61.64%             x92 D    376    375     43
    412   402       47.0709   139       42.0000       67.8874   100619   61.64%             x41 D    412    411     79
Elapsed time = 241.83 sec. (335364.54 ticks, tree = 1.96 MB, solutions = 4)
    442   428       61.9847   209       42.0000       67.7371   106123   61.28%             x23 D    442    441     13
*   454+  426                           43.0000       67.7371   108404   57.53%
    475   449       55.4920   173       43.0000       67.7371   111294   57.53%            x150 D    475    474     46
    508   482       48.1478   143       43.0000       67.7371   114964   57.53%            x187 D    508    507     79
    540   510       62.8704   209       43.0000       67.5886   121462   57.18%             x99 D    540    539     18
    570   540       56.6156   179       43.0000       67.5886   126334   57.18%            x101 D    570    569     48
    606   576       48.5504   141       43.0000       67.5886   130429   57.18%            x194 D    606    605     84
    639   605       61.8943   207       43.0000       67.4294   136322   56.81%             x94 D    639    638     17
    671   637       55.3413   174       43.0000       67.4294   141685   56.81%              x0 D    671    670     49
    706   672       48.5041   135       43.0000       67.4294   145142   56.81%             x69 D    706    705     84
    738   700       61.2286   202       43.0000       67.2495   151333   56.39%             x22 D    738    737     16
Elapsed time = 269.99 sec. (374258.70 ticks, tree = 2.52 MB, solutions = 5)
    771   733       53.8649   168       43.0000       67.2495   156628   56.39%             x12 D    771    770     49
    804   766       46.1331   132       43.0000       67.2495   160476   56.39%            x230 D    804    803     82
    836   794       60.3775   199       43.0000       67.1220   166898   56.10%            x133 D    836    835     26
    870   828       52.8704   163       43.0000       67.1220   172057   56.10%            x116 D    870    869     60
    906   864       45.4656   124       43.0000       67.1220   175753   56.10%              x3 D    906    905     96
    936   890       60.0062   196       43.0000       67.0001   183180   55.81%             x48 D    936    935     32
    966   920       54.0206   163       43.0000       67.0001   187974   55.81%            x193 D    966    965     62
   1002   956       44.8914   129       43.0000       67.0001   191345   55.81%              x6 D   1002   1001     98
   1032   982       58.5649   188       43.0000       66.8080   199021   55.37%            x130 D   1032   1031     33
   1066  1016       50.3381   153       43.0000       66.8080   203974   55.37%             x17 D   1066   1065     67
Elapsed time = 296.11 sec. (413257.99 ticks, tree = 3.23 MB, solutions = 5)
   1099  1045       62.8090   210       43.0000       66.5231   209779   54.70%            x209 D   1099   1098     15
   1178  1124       46.0000   125       43.0000       66.5231   220973   54.70%            x203 D   1178   1177     94
   1277  1215       62.5703   208       43.0000       66.2531   237698   54.08%            x116 D   1277   1276     18
   1377  1311       59.7371   193       43.0000       66.0324   252929   53.56%            x200 D   1377   1376     27
   1484  1414       54.5162   168       43.0000       65.8603   270832   53.16%            x143 D   1484   1483     52
   1598  1524       47.5785   143       43.0000       65.6192   288316   52.60%              x4 D   1598   1597     85
   1707  1625       59.9893   196       43.0000       65.4672   305927   52.25%             x38 D   1707   1706      8
   1822  1736       55.7202   178       43.0000       65.2756   323360   51.80%             x61 D   1822   1821     52
   1959  1865       62.0991   211       43.0000       65.0674   342705   51.32%            x107 U   1959     18     19
   2069  1971       56.8202   184       43.0000       65.0319   360224   51.24%            x188 D   2069   2068     40
Elapsed time = 333.98 sec. (451944.63 ticks, tree = 5.39 MB, solutions = 5)
   2202  2096       61.2860   198       43.0000       64.8845   377836   50.89%            x154 D   2202   2201      7
   2324  2214       52.3041   159       43.0000       64.8175   395432   50.74%            x213 D   2324   2323     49
   2429  2315       46.2514   130       43.0000       64.7916   411131   50.68%            x183 D   2429   2428     89
   2548  2426       55.4269   171       43.0000       64.6737   428390   50.40%             x78 D   2548   2547     50
   2694  2564       58.9941   186       43.0000       64.5292   444941   50.07%            x103 D   2694   2693     16
   2836  2702       44.3798   120       43.0000       64.5220   460782   50.05%            x209 D   2836   2835     80
   2946  2804       56.7551   182       43.0000       64.3818   478615   49.73%            x150 D   2946   2945     28
   3062  2916       49.5074   142       43.0000       64.3423   495937   49.63%            x120 D   3062   3061     83
   3197  3043       55.3484   167       43.0000       64.1980   512808   49.30%             x52 D   3197   3196     40
   3327  3165       61.0456   208       43.0000       64.1499   529511   49.19%            x164 U   3327     24     25
Elapsed time = 372.70 sec. (490358.47 ticks, tree = 7.92 MB, solutions = 5)
   3438  3272       55.7457   171       43.0000       64.0553   547800   48.97%            x235 D   3438   3437     32
   3558  3388       46.5289   141       43.0000       64.0264   564980   48.90%              x4 D   3558   3557     89
   3684  3506       53.2728   160       43.0000       63.9940   582442   48.82%            x146 D   3684   3683     41
   3823  3637       56.8989   173       43.0000       63.8908   599891   48.58%            x184 D   3823   3822     23
   3967  3771       60.2399   196       43.0000       63.8162   616923   48.41%            x240 D   3967   3966     16
   4097  3897       48.1732   134       43.0000       63.7925   634180   48.35%             x22 D   4097   4096     70
   4234  4026       52.6866   157       43.0000       63.7468   651113   48.25%            x235 D   4234   4233     42
   4369  4153       54.4345   168       43.0000       63.7038   668239   48.15%            x241 D   4369   4368     36
   4495  4271       59.4880   199       43.0000       63.6937   685249   48.12%             x61 D   4495   4494     32
   4618  4390       51.8627   147       43.0000       63.6309   702519   47.98%            x154 D   4618   4617     55
Elapsed time = 410.70 sec. (528669.97 ticks, tree = 10.42 MB, solutions = 5)
   4761  4525       53.5051   156       43.0000       63.5858   719567   47.87%            x239 D   4761   4760     40
   4910  4666       57.9203   180       43.0000       63.5518   735761   47.79%             x12 D   4910   4909     28
   5050  4802       45.2500   105       43.0000       63.5072   752594   47.69%            x241 D   5050   5049     83
   5185  4929       49.2608   142       43.0000       63.4777   769668   47.62%             x65 D   5185   5184     58
   5304  5040       56.3953   173       43.0000       63.4377   787364   47.53%             x43 D   5304   5303     20
   5451  5179       58.5651   185       43.0000       63.3573   803839   47.34%            x226 D   5451   5450     22
